√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

predicate calculus with identity中文什么意思

發(fā)音:   用"predicate calculus with identity"造句

相關(guān)詞匯

        predicate:    n. 1.【語法】謂語，述語。 2.【邏輯學(xué)】謂項(xiàng)，述項(xiàng) ...
        calculus:    n. (pl. calculuses, -li ) 1. ...
        identity:    n. 1.同一，一致；同一性。 2.本體；正身；個(gè)性。 ...
        predicate calculus:    述詞計(jì)算; 謂詞演算
        connective in predicate calculus:    謂詞演算中的連接詞
        extended predicate calculus:    廣義謂詞演算
        first order predicate calculus:    一階謂詞演算
        first-order predicate calculus:    一階謂詞演算
        high-order predicate calculus:    高階謂詞演算
        higher order predicate calculus:    高階謂詞演算
        higher-order predicate calculus:    高階謂詞演算
        monadic predicate calculus:    一元邏輯; 一元謂詞邏輯; 一元謂詞演算
        one place predicate calculus:    一元謂詞演算
        predicate calculus based method:    基于謂詞演算的方法
        predicate calculus language:    謂詞演算語言
        predicate calculus of the third order:    三階謂詞演算
        restricted predicate calculus:    狹謂詞演算
        second-order predicate calculus:    二階謂詞演算
        unary predicate calculus:    一元謂詞演算
        pure predicate calculus of first order:    一階純謂詞演算
        predicate:    n. 1.【語法】謂語，述語。 2.【邏輯學(xué)】謂項(xiàng)，述項(xiàng)，述詞，賓詞。 3.本質(zhì)；屬性。 adj. 謂語的，述語的；謂項(xiàng)的，述項(xiàng)的。 vt. 1.論斷，斷言；斷定…為某物的屬性；斷定某物有…的屬性 (about; of)。 2.〔美國〕使(聲明、行動(dòng)等)依據(jù)于 (on; upon), 使基于。 3.宣言，宣布，聲明。 4.意味著，具有…的含義。 5.【語法】表述。 vi. 斷言 (of)。 Can anything be predicated about a non-existent thing 能夠表述不存在的東西嗎？ (We) predicate of the motive that it is good. (我們)斷言這個(gè)動(dòng)機(jī)是好的。
        predicate of:    n變元謂詞; 變項(xiàng)謂詞
        predicate on:    使基于
        calculus:    n. (pl. calculuses, -li ) 1.【醫(yī)學(xué)】結(jié)石，石；積石；牙垢。 2.【數(shù)學(xué)】運(yùn)算，演算；微積分(學(xué))。 calculus of finite differences 【數(shù)學(xué)】差分演算(法)，差分學(xué)。 calculus of variation 變分法[學(xué)]。 differential [integral] calculus微[積]分(學(xué))。 urinary calculus【醫(yī)學(xué)】尿結(jié)石。
        identity:    n. 1.同一，一致；同一性。 2.本體；正身；個(gè)性。 3.【邏輯學(xué)】同一性。 4.【數(shù)學(xué)】恒等(式)。 an identity card 身份證，居民證。 an identity disk [tag] (士兵的)證章。 systems suited to its national identity 符合自己民族特點(diǎn)的制度。 national identity 民族面貌。 the principle of identity 【邏輯學(xué)】同一律。 establish [prove] one's identity 證明身份。 mistaken [false] identity 認(rèn)錯(cuò)人。 no matter what their identity 無論什么人。 sink one's identity 隱瞞歷史。

相鄰詞匯

  1. predicate calculu 什么意思
  2. predicate calculus 什么意思
  3. predicate calculus based method 什么意思
  4. predicate calculus language 什么意思
  5. predicate calculus of the third order 什么意思
  6. predicate constant 什么意思
  7. predicate data use 什么意思
  8. predicate device 什么意思
  9. predicate intersection model 什么意思
  10. predicate language 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.